<!DOCTYPE html>
<html>
<head>
<body style="white-space:pre">0123456789
</body>
</html>
